[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 156

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 124 140 0 0 0 0 0 0

N.S.

1 0.95 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.322 0.089 0.000 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 90 73 82 0 0 0 0 0

N.S.

1 1.07 0.87 0.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.371 0.020 0.091 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 75 69 65 0 0 0 0 0

N.S.

1 1.17 1.08 1.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.455 0.054 0.056 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.176 0.158 0.042 0.354 0.000 0.964 0.272 2.294

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

223 326 339 0 0 0 0 0 0

N.S.

1 1.46 1.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.944 0.233 0.000 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

167 246 184 0 0 0 0 0 0

N.S.

1 1.47 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.068 0.298 0.000 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

161 214 222 0 0 0 0 0 0

N.S.

1 1.33 1.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.122 0.101 0.000 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 135 98 119 0 0 0 0 0

N.S.

1 1.14 0.83 1.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.852 0.129 0.092 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 91 105 81 0 0 0 0 0

N.S.

1 1.08 1.25 0.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.533 0.076 0.066 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.166 0.165 0.042 0.363 0.000 7.076 0.281 2.350

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

285 392 334 0 0 0 0 0 0

N.S.

1 1.38 1.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.861 0.569 0.000 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

229 318 210 0 0 0 0 0 0

N.S.

1 1.39 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.081 0.536 0.000 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

222 291 221 0 0 0 0 0 0

N.S.

1 1.31 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.362 0.268 0.000 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 166 118 147 0 0 0 0 0

N.S.

1 1.13 0.80 1.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.832 0.196 0.093 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 133 111 105 0 0 0 0 0

N.S.

1 1.19 0.99 0.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.698 0.147 0.066 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.165 0.164 0.040 0.342 0.000 67.437 0.282 2.318

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 134 12 10 12 12

N.S.

1 1.00 1.20 1.00 13.40 1.20 1.00 1.20 1.20

time (sec)

N/A 0.326 0.397 0.478 0.472 0.271 5.765 0.409 2.558

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 134 12 10 12 12

N.S.

1 1.00 1.20 1.00 13.40 1.20 1.00 1.20 1.20

time (sec)

N/A 0.315 0.377 0.335 0.483 0.256 3.047 0.345 2.880

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

137 132 123 0 0 0 0 0 0

N.S.

1 0.96 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.337 0.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

60 60 55 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.208 0.019 0.000 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.175 0.181 0.257 0.244 0.246 0.454 0.286 2.413

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 268 12 10 12 12

N.S.

1 1.00 1.20 1.00 26.80 1.20 1.00 1.20 1.20

time (sec)

N/A 0.176 0.205 0.260 0.530 0.243 0.851 0.268 2.431

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 0 0 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.00 0.00 1.00

time (sec)

N/A 0.177 0.310 0.059 0.348 0.000 0.000 0.000 2.453

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 0 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 0.00 1.00

time (sec)

N/A 0.175 0.300 0.061 0.350 0.000 64.646 0.000 2.417

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 0 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 0.00 1.00

time (sec)

N/A 0.175 0.369 0.053 0.360 0.000 1.204 0.000 2.435

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.176 0.379 0.054 0.359 0.000 0.607 0.467 2.439

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.175 0.342 0.049 0.358 0.000 4.078 0.328 2.455

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-1) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 14 14 12 0 14

N.S.

1 1.00 1.17 1.00 1.17 1.17 1.00 0.00 1.17

time (sec)

N/A 0.182 0.412 0.045 0.351 0.269 3.978 0.000 2.438

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

173 159 145 0 0 0 0 0 0

N.S.

1 0.92 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.426 0.114 0.000 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 111 99 0 0 0 0 0 0

N.S.

1 0.93 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.396 0.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 105 97 0 0 0 0 0 0

N.S.

1 0.93 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.359 0.055 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 68 57 38 0 0 0 0 0

N.S.

1 1.15 0.97 0.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.011 0.086 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 47 45 40 0 0 0 0 0

N.S.

1 0.96 0.92 0.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.278 0.026 0.072 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.181 0.233 0.034 0.354 0.267 0.482 0.426 2.576

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.179 0.901 0.036 0.362 0.278 0.686 0.408 2.471

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

213 219 215 0 0 0 0 0 0

N.S.

1 1.03 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.789 0.317 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

145 142 111 0 0 0 0 0 0

N.S.

1 0.98 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.640 0.059 0.000 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 110 101 0 0 0 0 0 0

N.S.

1 1.08 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.594 0.188 0.000 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 377 215 0 0 0 0 0 0

N.S.

1 1.34 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.961 0.223 0.000 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

179 196 114 0 0 0 0 0 0

N.S.

1 1.09 0.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.419 0.065 0.000 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 140 251 0 0 0 0 0 0

N.S.

1 1.04 1.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.681 0.583 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

327 444 198 0 0 0 0 0 0

N.S.

1 1.36 0.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.461 0.231 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

223 232 115 0 0 0 0 0 0

N.S.

1 1.04 0.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.381 0.062 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

155 169 282 0 0 0 0 0 0

N.S.

1 1.09 1.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.889 2.056 0.000 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 189 196 0 0 0 0 0 0

N.S.

1 0.97 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.508 0.165 0.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 117 108 0 0 0 0 0 0

N.S.

1 1.09 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.500 0.051 0.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

88 89 101 0 0 0 0 0 0

N.S.

1 1.01 1.15 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.387 0.094 0.000 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

226 223 290 0 0 0 0 0 0

N.S.

1 0.99 1.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.478 0.297 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 144 134 0 0 0 0 0 0

N.S.

1 1.07 0.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.487 0.084 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

116 130 137 0 0 0 0 0 0

N.S.

1 1.12 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.616 0.204 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

271 381 340 0 0 0 0 0 0

N.S.

1 1.41 1.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.768 1.089 0.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

183 206 200 0 0 0 0 0 0

N.S.

1 1.13 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.308 0.548 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 156 181 0 0 0 0 0 0

N.S.

1 1.09 1.27 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.747 0.417 0.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

346 478 417 0 0 0 0 0 0

N.S.

1 1.38 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.176 1.181 0.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

219 247 208 0 0 0 0 0 0

N.S.

1 1.13 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.252 0.830 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

178 208 210 0 0 0 0 0 0

N.S.

1 1.17 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.992 0.407 0.000 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]